Réduction dimensionnelle
En physique, une réduction dimensionnelle est une procédure par laquelle, étant donné une théorie formulée sur un espace-temps de dimension , on construit une autre théorie formulée sur un sous-espace de dimension . Dans la suite nous allons décrire brièvement plusieurs procédures de réduction communément utilisées.
Réduction de Kaluza-Klein
[modifier | modifier le code]Dans cette approche, la plus simple, on contraint les champs de la théorie en dimensions à ne dépendre que des coordonnées du sous-espace . Par exemple si on considère , c'est-à-dire l'espace de Minkowski et , on parle de réduction sur un cercle et le cercle est appelé espace de compactification. Dans ce cas on contraint les champs à ne pas dépendre de la coordonnée angulaire sur le cercle. C'est le cadre historiquement considéré par Theodor Kaluza et Oskar Klein dans le contexte de la relativité générale à 5 dimensions pour tenter de reproduire la théorie de l'électromagnétisme et son invariance de jauge en 4 dimensions à partir de l'invariance par reparamétrisation de la théorie originale à 5 dimensions. Par usage, la généralisation de cette réduction dimensionnelle à d'autres espaces est alors communément appelée également réduction de Kaluza-Klein. Si on peut écrire avec une variété compacte de dimension alors on continue à appeler l'espace de compactification et on dit qu'on effectue une réduction sur [note 1].
Si la théorie originale possède des équations du mouvement issues d'une action alors il est nécessaire de s'assurer que la restriction imposée aux champs de ne dépendre que des coordonnées de est compatible avec les équations du mouvement, c'est-à-dire que les champs restreints sont encore des solutions des équations du mouvement. On parle alors dans ce cas de troncation consistante. Les réductions sur des tores ou réductions toroïdales sont toujours consistantes. Pour des variétés de compactification plus compliquées (comme des sphères par exemple) la réponse n'est pas évidente et demande une analyse au cas par cas.
Réduction de Scherk-Schwarz
[modifier | modifier le code]Les champs ne sont pas indépendants des coordonnées de mais leur dépendance est simple et dépend des symétries de la théorie originale.
Notes
[modifier | modifier le code]- On peut considérer en fait le cas plus général où est un espace fibré sur de fibre .